#include <stdio.h>

int main(void)
{
    int i = 9;
    do{
        printf("%d\t", i--);
    } while(i >= 3);
    puts("");

}
